<?php 

session_start();
// Borramos toda la sesion
session_destroy();
$url=$_GET['url'];
echo 'Ha terminado la session <p><a href='.$url.'>index</a></p>';
header ("Location: ".$url);

?>
